formal equivalence checking
- 网络正式等价性检验；形式等效性检验；性验证
formal equivalence checkingformal equivalence checking
正式等价性检验
正式等价性检验(Formal equivalence checking)：其容量和速度保证了设计流程晚期进行 的一些改动不会影响芯片的预期表现。 …
形式等效性检验
静态验证又分为两类，一类是形式等效性检验(Formal Equivalence Checking)，主要用来检查逻辑闸在合成(Synthesis)后，功 …
性验证
...的踪影。为了确保经过合成器实现到FPGA的Netlist，其动作行为与RTL一致，一致性验证(Formal equivalence checking)扮演 …